how many asteroids in our solar system